differentiability property

可微性性质